$omega$-operads of coendomorphisms and fractal $omega$-operads for higher structures

$omega$-Operads of coendomorphisms and fractal $omega$-operads for higher structures

     In this article we introduce the notion of textit{Fractal $omega$-operad} emerging from  a natural $omega$-operad associated to any coglobular object in the category of higher operads in Batanin's sense, which in fact is a coendomorphism $omega$-operads. We have in mind coglobular object of higher operads which algebras are kind of higher transformations. It follows that this natural $omeg...

Higher Operads, Higher Categories

Cellular structures for En-operads

Initially, the interest in iterated loop spaces arose from homotopy theory, more precisely from the fact that several important classifying spaces were known to be infinite loop spaces. In Peter May’s theory of En-operads [20], the recognition principle for n-fold iterated loop spaces is based on the approximation theorem which (in its crude form) states that (for a connected, well pointed spac...

Operads of higher transformations for globular sets and for higher magmas

‎In this article we discuss examples of fractal $omega$-operads‎. ‎Thus we show that there is an $omega$-operadic approach to explain existence of‎ ‎the globular set of globular setsfootnote{Globular sets are also called $omega$-graphs by the French School.}‎, ‎the reflexive globular set of reflexive globular sets‎, ‎the $omega$-magma of $omega$-magmas‎, ‎and also the reflexive $omega$-magma ...

The Eckman - Hilton argument and higher operads

To the memory of my father. Abstract The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppo...

Algebras of Higher Operads as Enriched Categories

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin to adapt the machinery of globular operads [1] to this task. We present a general construction of a tensor product on the category of n-globular sets from any normalised (n + 1)-operad A, in such a way that the algebras for A ma...